Multi-level permission
نویسنده
چکیده
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confidence in one type of action achieving the same goal than in other. We give a logic handling this type of ramification, and present a complete axiomatization. The recent work offers an extension of the Dynamic Logic of Permission defined by Meyden [3], where a two-level system was presented. We also prove a separation theorem for the multi-level permission formulas.
منابع مشابه
A Quorum Based Distributed Mutual Exclusion Algorithm for Multi-Level Clustered Network Architecture
Different permission-based algorithms have been proposed for the solution of the Mutual Exclusion problems. With the emergence of peer-to-peer computing, the distributed applications spread over a large number of nodes. Cluster-based solutions are scalable for large number of participants. Some algorithms are proposed using cluster topology. But the number of participating nodes is increasing e...
متن کاملAndroid Multi-Level System Permission Management Approach
With the expansion of the market share occupied by the Android platform, security issues (especially application security) have become attention focus of researchers. In fact, the existing methods lack the capabilities to manage application permissions without root privilege. This study proposes a dynamic management mechanism of Android application permissions based on security policies. The pa...
متن کاملEfficient Multi-Level Modeling and Monitoring of End- use Energy Profile in Commercial Buildings
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission.
متن کاملIeee Copyright Statement
This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Carnegie Mellon University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redis...
متن کاملIeee Copyright Statement
This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Carnegie Mellon University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redis...
متن کامل